\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Method and class-level specifications}{1}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces State Machine\relax }}{1}}
\newlabel{fig:statemachine}{{1}{1}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Possible method calls\relax }}{2}}
\newlabel{tab:methodcalls}{{1}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Model variables}{3}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Possible method calls\relax }}{3}}
\newlabel{tab:methodcalls}{{2}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Mistakes And Code Improvements}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Execution of mistake 1}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Execution of mistake 2}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Execution of mistake 3}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Execution of mistake 4}{4}}
